Asymptotic Euler-Maclaurin formula for Delzant polytopes
نویسنده
چکیده
Formulas for the Riemann sums over lattice polytopes determined by the lattice points in the polytopes are often called Euler-Maclaurin formulas. An asymptotic Euler-Maclaurin formula, by which we mean an asymptotic expansion formula for Riemann sums over lattice polytopes, was first obtained by Guillemin-Sternberg [GS]. Then, the problem is to find a concrete formula for the each term of the expansion. In this paper, an asymptotic Euler-Maclaurin formula of the Riemann sums over Delzant polytopes is given. The formula given here is similar to the so-called local EulerMaclaurin formula of Berline-Vergne [BeV]. A concrete description of differential operators which appear in each term of the asymptotic expansion is given independently of the local Euler-Maclaurin formula. By using this formula, a concrete formula for each term in two dimension and a formula for the third term of the expansion in arbitrary dimension are given. Moreover, it is shown that the differential operators defined here coincide with homogeneous parts of the differential operators of infinite order defined in [BeV]. 0 Introduction In this paper, we consider asymptotics of the Riemann sums over lattice polytopes, RN (P ;φ) := 1 Nm ∑ γ∈(NP )∩Zm φ(γ/N), (0.1) where P is a lattice polytope in R and φ is a smooth function on P . Formulas for RN(P ;φ) with a polynomial φ, which is often called Euler-Maclaurin formula, are extensively investigated in combinatorics and toric geometry. If we take φ = 1, the Riemann sum RN (P ; 1) is ∗Research partially supported by JSPS Grant-in-Aid for Scientific Research (No. 217401117).
منابع مشابه
The Spectral Density Function of a Toric Variety
For a Kähler manifold X,ω with a holomorphic line bundle L and metric h such that the Chern form of L is ω, the spectral measures are the measures μN = P |sN,i| ν, where {sN,i}i is an L -orthonormal basis for H(X,L ), and ν is Liouville measure. We study the asymptotics in N of μN for X,L a Hamiltonian toric manifold, and give a very precise expansion in terms of powers 1/N and data on the mome...
متن کاملSum-integral Interpolators and the Euler-maclaurin Formula for Polytopes
A local lattice point counting formula, and more generally a local Euler-Maclaurin formula follow by comparing two natural families of meromorphic functions on the dual of a rational vector space V , namely the family of exponential sums (S) and the family of exponential integrals (I) parametrized by the set of rational polytopes in V . The paper introduces the notion of an interpolator between...
متن کاملExact Euler Maclaurin Formulas for Simple Lattice Polytopes
Euler Maclaurin formulas for a polytope express the sum of the values of a function over the lattice points in the polytope in terms of integrals of the function and its derivatives over faces of the polytope or its dilations. There are two kinds of Euler Maclaurin formulas: exact formulas, which apply to exponential or polynomial functions, and formulas with remainder, which apply to arbitrary...
متن کاملThe Euler-Maclaurin formula for simple integral polytopes.
We give a Euler-Maclaurin formula with remainder for the sum of a smooth function on the integral points in a simple integral lattice polytope. Our proof uses elementary methods.
متن کاملLattice Points in Simple Polytopes
P (h) φ(x)dx where the polytope P (h) is obtained from P by independent parallel motions of all facets. This extends to simple lattice polytopes the EulerMaclaurin summation formula of Khovanskii and Pukhlikov [8] (valid for lattice polytopes such that the primitive vectors on edges through each vertex of P form a basis of the lattice). As a corollary, we recover results of Pommersheim [9] and ...
متن کامل